Extending DQL with Recursive Facilities
نویسندگان
چکیده
منابع مشابه
Extending database programming language with declarative querying facilities
The query language OVAL which is intended for the integration with the database programming language based on C++ is proposed in this paper. The work addresses the impedance mismatch problem 1] between the syntax and the semantics of the programming and query language. The query language OVAL is based on the functional query language FQL 3] extending it for the manipulation of complex objects. ...
متن کاملExtending Unannotated System F with Positive-Recursive Types
We won’t actually use infinite types in either our type system or our metatheoretic analysis of that type system, but they can provide helpful intuition. For example, it is clear that if recursive types were thought of as denoting infinite type expressions, then the type μX.T would always be equal to [μX.T/X]T . For the small example just considered: μX.A→ X is equal to A→ (μX.A→ X), which can ...
متن کاملExtending the Matching Facilities of Linda
This paper discusses the associative matching mechanism used in the Linda coordination language for the retrieval of data. There are a number of problems with this mechanism which are discussed in the light of the requirements of applications using Linda. A number of solutions to these problems have been proposed. These are discussed and compared with a new approach to solving these problems. T...
متن کاملExtending Search Facilities via Bibliometric-Enhanced Stratagems
The paper introduces simple bibliometric-enhanced search facilities which are derived from the famous stratagems by Bates. Moves, tactics and stratagems are revisited from a Digital Library perspective. The potential of extended versions of ”journal run” or ”citation search” for interactive information retrieval is outlined. The authors elaborate on the future implementation and evaluation of n...
متن کاملRecursive Sandboxes: Extending Systrace To Empower Applications
The systrace system-call interposition mechanism has become a popular method for containing untrusted code through program-specific policies enforced by user-level daemons. We describe our extensions to systrace that allow sandboxed processes to further limit their children processes by issuing dynamically constructed policies. We discuss our extensions to the systrace daemon and the OpenBSD ke...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annales Universitatis Mariae Curie-Sklodowska, sectio AI – Informatica
سال: 2016
ISSN: 2083-3628,1732-1360
DOI: 10.17951/ai.2016.16.1.12